3.10 \(\int \frac {\cos ^2(x)}{a+b \sin (x)+c \sin ^2(x)} \, dx\)

Optimal. Leaf size=230 \[ -\frac {\sqrt {2} \sqrt {-b \sqrt {b^2-4 a c}-2 c (a+c)+b^2} \tan ^{-1}\left (\frac {\tan \left (\frac {x}{2}\right ) \left (b-\sqrt {b^2-4 a c}\right )+2 c}{\sqrt {2} \sqrt {-b \sqrt {b^2-4 a c}-2 c (a+c)+b^2}}\right )}{c \sqrt {b^2-4 a c}}+\frac {\sqrt {2} \sqrt {b \sqrt {b^2-4 a c}-2 c (a+c)+b^2} \tan ^{-1}\left (\frac {\tan \left (\frac {x}{2}\right ) \left (\sqrt {b^2-4 a c}+b\right )+2 c}{\sqrt {2} \sqrt {b \sqrt {b^2-4 a c}-2 c (a+c)+b^2}}\right )}{c \sqrt {b^2-4 a c}}-\frac {x}{c} \]

[Out]

-x/c-arctan(1/2*(2*c+(b-(-4*a*c+b^2)^(1/2))*tan(1/2*x))*2^(1/2)/(b^2-2*c*(a+c)-b*(-4*a*c+b^2)^(1/2))^(1/2))*2^
(1/2)*(b^2-2*c*(a+c)-b*(-4*a*c+b^2)^(1/2))^(1/2)/c/(-4*a*c+b^2)^(1/2)+arctan(1/2*(2*c+(b+(-4*a*c+b^2)^(1/2))*t
an(1/2*x))*2^(1/2)/(b^2-2*c*(a+c)+b*(-4*a*c+b^2)^(1/2))^(1/2))*2^(1/2)*(b^2-2*c*(a+c)+b*(-4*a*c+b^2)^(1/2))^(1
/2)/c/(-4*a*c+b^2)^(1/2)

________________________________________________________________________________________

Rubi [A]  time = 0.59, antiderivative size = 230, normalized size of antiderivative = 1.00, number of steps used = 9, number of rules used = 5, integrand size = 19, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.263, Rules used = {3266, 3292, 2660, 618, 204} \[ -\frac {\sqrt {2} \sqrt {-b \sqrt {b^2-4 a c}-2 c (a+c)+b^2} \tan ^{-1}\left (\frac {\tan \left (\frac {x}{2}\right ) \left (b-\sqrt {b^2-4 a c}\right )+2 c}{\sqrt {2} \sqrt {-b \sqrt {b^2-4 a c}-2 c (a+c)+b^2}}\right )}{c \sqrt {b^2-4 a c}}+\frac {\sqrt {2} \sqrt {b \sqrt {b^2-4 a c}-2 c (a+c)+b^2} \tan ^{-1}\left (\frac {\tan \left (\frac {x}{2}\right ) \left (\sqrt {b^2-4 a c}+b\right )+2 c}{\sqrt {2} \sqrt {b \sqrt {b^2-4 a c}-2 c (a+c)+b^2}}\right )}{c \sqrt {b^2-4 a c}}-\frac {x}{c} \]

Antiderivative was successfully verified.

[In]

Int[Cos[x]^2/(a + b*Sin[x] + c*Sin[x]^2),x]

[Out]

-(x/c) - (Sqrt[2]*Sqrt[b^2 - 2*c*(a + c) - b*Sqrt[b^2 - 4*a*c]]*ArcTan[(2*c + (b - Sqrt[b^2 - 4*a*c])*Tan[x/2]
)/(Sqrt[2]*Sqrt[b^2 - 2*c*(a + c) - b*Sqrt[b^2 - 4*a*c]])])/(c*Sqrt[b^2 - 4*a*c]) + (Sqrt[2]*Sqrt[b^2 - 2*c*(a
+ c) + b*Sqrt[b^2 - 4*a*c]]*ArcTan[(2*c + (b + Sqrt[b^2 - 4*a*c])*Tan[x/2])/(Sqrt[2]*Sqrt[b^2 - 2*c*(a + c) +
b*Sqrt[b^2 - 4*a*c]])])/(c*Sqrt[b^2 - 4*a*c])

Rule 204

Int[((a_) + (b_.)*(x_)^2)^(-1), x_Symbol] :> -Simp[ArcTan[(Rt[-b, 2]*x)/Rt[-a, 2]]/(Rt[-a, 2]*Rt[-b, 2]), x] /
; FreeQ[{a, b}, x] && PosQ[a/b] && (LtQ[a, 0] || LtQ[b, 0])

Rule 618

Int[((a_.) + (b_.)*(x_) + (c_.)*(x_)^2)^(-1), x_Symbol] :> Dist[-2, Subst[Int[1/Simp[b^2 - 4*a*c - x^2, x], x]
, x, b + 2*c*x], x] /; FreeQ[{a, b, c}, x] && NeQ[b^2 - 4*a*c, 0]

Rule 2660

Int[((a_) + (b_.)*sin[(c_.) + (d_.)*(x_)])^(-1), x_Symbol] :> With[{e = FreeFactors[Tan[(c + d*x)/2], x]}, Dis
t[(2*e)/d, Subst[Int[1/(a + 2*b*e*x + a*e^2*x^2), x], x, Tan[(c + d*x)/2]/e], x]] /; FreeQ[{a, b, c, d}, x] &&
NeQ[a^2 - b^2, 0]

Rule 3266

Int[cos[(d_.) + (e_.)*(x_)]^(m_.)*((a_.) + (b_.)*sin[(d_.) + (e_.)*(x_)]^(n_.) + (c_.)*sin[(d_.) + (e_.)*(x_)]
^(n2_.))^(p_.), x_Symbol] :> Int[ExpandTrig[(1 - sin[d + e*x]^2)^(m/2)*(a + b*sin[d + e*x]^n + c*sin[d + e*x]^
(2*n))^p, x], x] /; FreeQ[{a, b, c, d, e}, x] && EqQ[n2, 2*n] && IntegerQ[m/2] && NeQ[b^2 - 4*a*c, 0] && Integ
ersQ[n, p]

Rule 3292

Int[((A_) + (B_.)*sin[(d_.) + (e_.)*(x_)])/((a_.) + (b_.)*sin[(d_.) + (e_.)*(x_)] + (c_.)*sin[(d_.) + (e_.)*(x
_)]^2), x_Symbol] :> Module[{q = Rt[b^2 - 4*a*c, 2]}, Dist[B + (b*B - 2*A*c)/q, Int[1/(b + q + 2*c*Sin[d + e*x
]), x], x] + Dist[B - (b*B - 2*A*c)/q, Int[1/(b - q + 2*c*Sin[d + e*x]), x], x]] /; FreeQ[{a, b, c, d, e, A, B
}, x] && NeQ[b^2 - 4*a*c, 0]

Rubi steps

\begin {align*} \int \frac {\cos ^2(x)}{a+b \sin (x)+c \sin ^2(x)} \, dx &=\int \left (-\frac {1}{c}+\frac {a \left (1+\frac {c}{a}\right )+b \sin (x)}{c \left (a+b \sin (x)+c \sin ^2(x)\right )}\right ) \, dx\\ &=-\frac {x}{c}+\frac {\int \frac {a \left (1+\frac {c}{a}\right )+b \sin (x)}{a+b \sin (x)+c \sin ^2(x)} \, dx}{c}\\ &=-\frac {x}{c}+\frac {\left (b-\frac {b^2-2 c (a+c)}{\sqrt {b^2-4 a c}}\right ) \int \frac {1}{b-\sqrt {b^2-4 a c}+2 c \sin (x)} \, dx}{c}+\frac {\left (b+\frac {b^2-2 c (a+c)}{\sqrt {b^2-4 a c}}\right ) \int \frac {1}{b+\sqrt {b^2-4 a c}+2 c \sin (x)} \, dx}{c}\\ &=-\frac {x}{c}+\frac {\left (2 \left (b-\frac {b^2-2 c (a+c)}{\sqrt {b^2-4 a c}}\right )\right ) \operatorname {Subst}\left (\int \frac {1}{b-\sqrt {b^2-4 a c}+4 c x+\left (b-\sqrt {b^2-4 a c}\right ) x^2} \, dx,x,\tan \left (\frac {x}{2}\right )\right )}{c}+\frac {\left (2 \left (b+\frac {b^2-2 c (a+c)}{\sqrt {b^2-4 a c}}\right )\right ) \operatorname {Subst}\left (\int \frac {1}{b+\sqrt {b^2-4 a c}+4 c x+\left (b+\sqrt {b^2-4 a c}\right ) x^2} \, dx,x,\tan \left (\frac {x}{2}\right )\right )}{c}\\ &=-\frac {x}{c}-\frac {\left (4 \left (b-\frac {b^2-2 c (a+c)}{\sqrt {b^2-4 a c}}\right )\right ) \operatorname {Subst}\left (\int \frac {1}{-8 \left (b^2-2 c (a+c)-b \sqrt {b^2-4 a c}\right )-x^2} \, dx,x,4 c+2 \left (b-\sqrt {b^2-4 a c}\right ) \tan \left (\frac {x}{2}\right )\right )}{c}-\frac {\left (4 \left (b+\frac {b^2-2 c (a+c)}{\sqrt {b^2-4 a c}}\right )\right ) \operatorname {Subst}\left (\int \frac {1}{4 \left (4 c^2-\left (b+\sqrt {b^2-4 a c}\right )^2\right )-x^2} \, dx,x,4 c+2 \left (b+\sqrt {b^2-4 a c}\right ) \tan \left (\frac {x}{2}\right )\right )}{c}\\ &=-\frac {x}{c}-\frac {\sqrt {2} \sqrt {b^2-2 c (a+c)-b \sqrt {b^2-4 a c}} \tan ^{-1}\left (\frac {2 c+\left (b-\sqrt {b^2-4 a c}\right ) \tan \left (\frac {x}{2}\right )}{\sqrt {2} \sqrt {b^2-2 c (a+c)-b \sqrt {b^2-4 a c}}}\right )}{c \sqrt {b^2-4 a c}}+\frac {\sqrt {2} \sqrt {b^2-2 c (a+c)+b \sqrt {b^2-4 a c}} \tan ^{-1}\left (\frac {2 c+\left (b+\sqrt {b^2-4 a c}\right ) \tan \left (\frac {x}{2}\right )}{\sqrt {2} \sqrt {b^2-2 c (a+c)+b \sqrt {b^2-4 a c}}}\right )}{c \sqrt {b^2-4 a c}}\\ \end {align*}

________________________________________________________________________________________

Mathematica [C]  time = 0.48, size = 314, normalized size = 1.37 \[ \frac {\frac {\left (b \sqrt {4 a c-b^2}-2 i c (a+c)+i b^2\right ) \tan ^{-1}\left (\frac {2 c+\tan \left (\frac {x}{2}\right ) \left (b-i \sqrt {4 a c-b^2}\right )}{\sqrt {2} \sqrt {-i b \sqrt {4 a c-b^2}-2 c (a+c)+b^2}}\right )}{\sqrt {2 a c-\frac {b^2}{2}} \sqrt {-i b \sqrt {4 a c-b^2}-2 c (a+c)+b^2}}+\frac {\left (b \sqrt {4 a c-b^2}+2 i c (a+c)-i b^2\right ) \tan ^{-1}\left (\frac {2 c+\tan \left (\frac {x}{2}\right ) \left (b+i \sqrt {4 a c-b^2}\right )}{\sqrt {2} \sqrt {i b \sqrt {4 a c-b^2}-2 c (a+c)+b^2}}\right )}{\sqrt {2 a c-\frac {b^2}{2}} \sqrt {i b \sqrt {4 a c-b^2}-2 c (a+c)+b^2}}-x}{c} \]

Antiderivative was successfully verified.

[In]

Integrate[Cos[x]^2/(a + b*Sin[x] + c*Sin[x]^2),x]

[Out]

(-x + ((I*b^2 - (2*I)*c*(a + c) + b*Sqrt[-b^2 + 4*a*c])*ArcTan[(2*c + (b - I*Sqrt[-b^2 + 4*a*c])*Tan[x/2])/(Sq
rt[2]*Sqrt[b^2 - 2*c*(a + c) - I*b*Sqrt[-b^2 + 4*a*c]])])/(Sqrt[-1/2*b^2 + 2*a*c]*Sqrt[b^2 - 2*c*(a + c) - I*b
*Sqrt[-b^2 + 4*a*c]]) + (((-I)*b^2 + (2*I)*c*(a + c) + b*Sqrt[-b^2 + 4*a*c])*ArcTan[(2*c + (b + I*Sqrt[-b^2 +
4*a*c])*Tan[x/2])/(Sqrt[2]*Sqrt[b^2 - 2*c*(a + c) + I*b*Sqrt[-b^2 + 4*a*c]])])/(Sqrt[-1/2*b^2 + 2*a*c]*Sqrt[b^
2 - 2*c*(a + c) + I*b*Sqrt[-b^2 + 4*a*c]]))/c

________________________________________________________________________________________

fricas [B]  time = 0.89, size = 971, normalized size = 4.22 \[ \frac {\sqrt {2} c \sqrt {-\frac {b^{2} - 2 \, a c - 2 \, c^{2} + {\left (b^{2} c^{2} - 4 \, a c^{3}\right )} \sqrt {\frac {b^{2}}{b^{2} c^{4} - 4 \, a c^{5}}}}{b^{2} c^{2} - 4 \, a c^{3}}} \log \left (\sqrt {2} {\left (b^{2} c^{3} - 4 \, a c^{4}\right )} \sqrt {\frac {b^{2}}{b^{2} c^{4} - 4 \, a c^{5}}} \sqrt {-\frac {b^{2} - 2 \, a c - 2 \, c^{2} + {\left (b^{2} c^{2} - 4 \, a c^{3}\right )} \sqrt {\frac {b^{2}}{b^{2} c^{4} - 4 \, a c^{5}}}}{b^{2} c^{2} - 4 \, a c^{3}}} \cos \relax (x) + b^{2} \sin \relax (x) + {\left (b^{2} c^{2} - 4 \, a c^{3}\right )} \sqrt {\frac {b^{2}}{b^{2} c^{4} - 4 \, a c^{5}}} \sin \relax (x) + 2 \, b c\right ) - \sqrt {2} c \sqrt {-\frac {b^{2} - 2 \, a c - 2 \, c^{2} + {\left (b^{2} c^{2} - 4 \, a c^{3}\right )} \sqrt {\frac {b^{2}}{b^{2} c^{4} - 4 \, a c^{5}}}}{b^{2} c^{2} - 4 \, a c^{3}}} \log \left (\sqrt {2} {\left (b^{2} c^{3} - 4 \, a c^{4}\right )} \sqrt {\frac {b^{2}}{b^{2} c^{4} - 4 \, a c^{5}}} \sqrt {-\frac {b^{2} - 2 \, a c - 2 \, c^{2} + {\left (b^{2} c^{2} - 4 \, a c^{3}\right )} \sqrt {\frac {b^{2}}{b^{2} c^{4} - 4 \, a c^{5}}}}{b^{2} c^{2} - 4 \, a c^{3}}} \cos \relax (x) - b^{2} \sin \relax (x) - {\left (b^{2} c^{2} - 4 \, a c^{3}\right )} \sqrt {\frac {b^{2}}{b^{2} c^{4} - 4 \, a c^{5}}} \sin \relax (x) - 2 \, b c\right ) - \sqrt {2} c \sqrt {-\frac {b^{2} - 2 \, a c - 2 \, c^{2} - {\left (b^{2} c^{2} - 4 \, a c^{3}\right )} \sqrt {\frac {b^{2}}{b^{2} c^{4} - 4 \, a c^{5}}}}{b^{2} c^{2} - 4 \, a c^{3}}} \log \left (\sqrt {2} {\left (b^{2} c^{3} - 4 \, a c^{4}\right )} \sqrt {\frac {b^{2}}{b^{2} c^{4} - 4 \, a c^{5}}} \sqrt {-\frac {b^{2} - 2 \, a c - 2 \, c^{2} - {\left (b^{2} c^{2} - 4 \, a c^{3}\right )} \sqrt {\frac {b^{2}}{b^{2} c^{4} - 4 \, a c^{5}}}}{b^{2} c^{2} - 4 \, a c^{3}}} \cos \relax (x) + b^{2} \sin \relax (x) - {\left (b^{2} c^{2} - 4 \, a c^{3}\right )} \sqrt {\frac {b^{2}}{b^{2} c^{4} - 4 \, a c^{5}}} \sin \relax (x) + 2 \, b c\right ) + \sqrt {2} c \sqrt {-\frac {b^{2} - 2 \, a c - 2 \, c^{2} - {\left (b^{2} c^{2} - 4 \, a c^{3}\right )} \sqrt {\frac {b^{2}}{b^{2} c^{4} - 4 \, a c^{5}}}}{b^{2} c^{2} - 4 \, a c^{3}}} \log \left (\sqrt {2} {\left (b^{2} c^{3} - 4 \, a c^{4}\right )} \sqrt {\frac {b^{2}}{b^{2} c^{4} - 4 \, a c^{5}}} \sqrt {-\frac {b^{2} - 2 \, a c - 2 \, c^{2} - {\left (b^{2} c^{2} - 4 \, a c^{3}\right )} \sqrt {\frac {b^{2}}{b^{2} c^{4} - 4 \, a c^{5}}}}{b^{2} c^{2} - 4 \, a c^{3}}} \cos \relax (x) - b^{2} \sin \relax (x) + {\left (b^{2} c^{2} - 4 \, a c^{3}\right )} \sqrt {\frac {b^{2}}{b^{2} c^{4} - 4 \, a c^{5}}} \sin \relax (x) - 2 \, b c\right ) - 4 \, x}{4 \, c} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(cos(x)^2/(a+b*sin(x)+c*sin(x)^2),x, algorithm="fricas")

[Out]

1/4*(sqrt(2)*c*sqrt(-(b^2 - 2*a*c - 2*c^2 + (b^2*c^2 - 4*a*c^3)*sqrt(b^2/(b^2*c^4 - 4*a*c^5)))/(b^2*c^2 - 4*a*
c^3))*log(sqrt(2)*(b^2*c^3 - 4*a*c^4)*sqrt(b^2/(b^2*c^4 - 4*a*c^5))*sqrt(-(b^2 - 2*a*c - 2*c^2 + (b^2*c^2 - 4*
a*c^3)*sqrt(b^2/(b^2*c^4 - 4*a*c^5)))/(b^2*c^2 - 4*a*c^3))*cos(x) + b^2*sin(x) + (b^2*c^2 - 4*a*c^3)*sqrt(b^2/
(b^2*c^4 - 4*a*c^5))*sin(x) + 2*b*c) - sqrt(2)*c*sqrt(-(b^2 - 2*a*c - 2*c^2 + (b^2*c^2 - 4*a*c^3)*sqrt(b^2/(b^
2*c^4 - 4*a*c^5)))/(b^2*c^2 - 4*a*c^3))*log(sqrt(2)*(b^2*c^3 - 4*a*c^4)*sqrt(b^2/(b^2*c^4 - 4*a*c^5))*sqrt(-(b
^2 - 2*a*c - 2*c^2 + (b^2*c^2 - 4*a*c^3)*sqrt(b^2/(b^2*c^4 - 4*a*c^5)))/(b^2*c^2 - 4*a*c^3))*cos(x) - b^2*sin(
x) - (b^2*c^2 - 4*a*c^3)*sqrt(b^2/(b^2*c^4 - 4*a*c^5))*sin(x) - 2*b*c) - sqrt(2)*c*sqrt(-(b^2 - 2*a*c - 2*c^2
- (b^2*c^2 - 4*a*c^3)*sqrt(b^2/(b^2*c^4 - 4*a*c^5)))/(b^2*c^2 - 4*a*c^3))*log(sqrt(2)*(b^2*c^3 - 4*a*c^4)*sqrt
(b^2/(b^2*c^4 - 4*a*c^5))*sqrt(-(b^2 - 2*a*c - 2*c^2 - (b^2*c^2 - 4*a*c^3)*sqrt(b^2/(b^2*c^4 - 4*a*c^5)))/(b^2
*c^2 - 4*a*c^3))*cos(x) + b^2*sin(x) - (b^2*c^2 - 4*a*c^3)*sqrt(b^2/(b^2*c^4 - 4*a*c^5))*sin(x) + 2*b*c) + sqr
t(2)*c*sqrt(-(b^2 - 2*a*c - 2*c^2 - (b^2*c^2 - 4*a*c^3)*sqrt(b^2/(b^2*c^4 - 4*a*c^5)))/(b^2*c^2 - 4*a*c^3))*lo
g(sqrt(2)*(b^2*c^3 - 4*a*c^4)*sqrt(b^2/(b^2*c^4 - 4*a*c^5))*sqrt(-(b^2 - 2*a*c - 2*c^2 - (b^2*c^2 - 4*a*c^3)*s
qrt(b^2/(b^2*c^4 - 4*a*c^5)))/(b^2*c^2 - 4*a*c^3))*cos(x) - b^2*sin(x) + (b^2*c^2 - 4*a*c^3)*sqrt(b^2/(b^2*c^4
- 4*a*c^5))*sin(x) - 2*b*c) - 4*x)/c

________________________________________________________________________________________

giac [F(-1)]  time = 0.00, size = 0, normalized size = 0.00 \[ \text {Timed out} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(cos(x)^2/(a+b*sin(x)+c*sin(x)^2),x, algorithm="giac")

[Out]

Timed out

________________________________________________________________________________________

maple [B]  time = 0.34, size = 1246, normalized size = 5.42 \[ \text {result too large to display} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(cos(x)^2/(a+b*sin(x)+c*sin(x)^2),x)

[Out]

2*a/c/(4*a*c-b^2)/(4*c*a-2*b^2+2*b*(-4*a*c+b^2)^(1/2)+4*a^2)^(1/2)*arctan((-2*a*tan(1/2*x)+(-4*a*c+b^2)^(1/2)-
b)/(4*c*a-2*b^2+2*b*(-4*a*c+b^2)^(1/2)+4*a^2)^(1/2))*(-4*a*c+b^2)^(1/2)*b-2/(4*a*c-b^2)/(4*c*a-2*b^2+2*b*(-4*a
*c+b^2)^(1/2)+4*a^2)^(1/2)*arctan((-2*a*tan(1/2*x)+(-4*a*c+b^2)^(1/2)-b)/(4*c*a-2*b^2+2*b*(-4*a*c+b^2)^(1/2)+4
*a^2)^(1/2))*b*(-4*a*c+b^2)^(1/2)-8*a^2/(4*a*c-b^2)/(4*c*a-2*b^2+2*b*(-4*a*c+b^2)^(1/2)+4*a^2)^(1/2)*arctan((-
2*a*tan(1/2*x)+(-4*a*c+b^2)^(1/2)-b)/(4*c*a-2*b^2+2*b*(-4*a*c+b^2)^(1/2)+4*a^2)^(1/2))+2*a/c/(4*a*c-b^2)/(4*c*
a-2*b^2+2*b*(-4*a*c+b^2)^(1/2)+4*a^2)^(1/2)*arctan((-2*a*tan(1/2*x)+(-4*a*c+b^2)^(1/2)-b)/(4*c*a-2*b^2+2*b*(-4
*a*c+b^2)^(1/2)+4*a^2)^(1/2))*b^2-8*a/(4*a*c-b^2)/(4*c*a-2*b^2+2*b*(-4*a*c+b^2)^(1/2)+4*a^2)^(1/2)*arctan((-2*
a*tan(1/2*x)+(-4*a*c+b^2)^(1/2)-b)/(4*c*a-2*b^2+2*b*(-4*a*c+b^2)^(1/2)+4*a^2)^(1/2))*c+2/(4*a*c-b^2)/(4*c*a-2*
b^2+2*b*(-4*a*c+b^2)^(1/2)+4*a^2)^(1/2)*arctan((-2*a*tan(1/2*x)+(-4*a*c+b^2)^(1/2)-b)/(4*c*a-2*b^2+2*b*(-4*a*c
+b^2)^(1/2)+4*a^2)^(1/2))*b^2+2*a/c/(4*a*c-b^2)/(4*c*a-2*b^2-2*b*(-4*a*c+b^2)^(1/2)+4*a^2)^(1/2)*arctan((2*a*t
an(1/2*x)+b+(-4*a*c+b^2)^(1/2))/(4*c*a-2*b^2-2*b*(-4*a*c+b^2)^(1/2)+4*a^2)^(1/2))*(-4*a*c+b^2)^(1/2)*b-2/(4*a*
c-b^2)/(4*c*a-2*b^2-2*b*(-4*a*c+b^2)^(1/2)+4*a^2)^(1/2)*arctan((2*a*tan(1/2*x)+b+(-4*a*c+b^2)^(1/2))/(4*c*a-2*
b^2-2*b*(-4*a*c+b^2)^(1/2)+4*a^2)^(1/2))*b*(-4*a*c+b^2)^(1/2)+8*a^2/(4*a*c-b^2)/(4*c*a-2*b^2-2*b*(-4*a*c+b^2)^
(1/2)+4*a^2)^(1/2)*arctan((2*a*tan(1/2*x)+b+(-4*a*c+b^2)^(1/2))/(4*c*a-2*b^2-2*b*(-4*a*c+b^2)^(1/2)+4*a^2)^(1/
2))-2*a/c/(4*a*c-b^2)/(4*c*a-2*b^2-2*b*(-4*a*c+b^2)^(1/2)+4*a^2)^(1/2)*arctan((2*a*tan(1/2*x)+b+(-4*a*c+b^2)^(
1/2))/(4*c*a-2*b^2-2*b*(-4*a*c+b^2)^(1/2)+4*a^2)^(1/2))*b^2+8*a/(4*a*c-b^2)/(4*c*a-2*b^2-2*b*(-4*a*c+b^2)^(1/2
)+4*a^2)^(1/2)*arctan((2*a*tan(1/2*x)+b+(-4*a*c+b^2)^(1/2))/(4*c*a-2*b^2-2*b*(-4*a*c+b^2)^(1/2)+4*a^2)^(1/2))*
c-2/(4*a*c-b^2)/(4*c*a-2*b^2-2*b*(-4*a*c+b^2)^(1/2)+4*a^2)^(1/2)*arctan((2*a*tan(1/2*x)+b+(-4*a*c+b^2)^(1/2))/
(4*c*a-2*b^2-2*b*(-4*a*c+b^2)^(1/2)+4*a^2)^(1/2))*b^2-2/c*arctan(tan(1/2*x))

________________________________________________________________________________________

maxima [F(-1)]  time = 0.00, size = 0, normalized size = 0.00 \[ \text {Timed out} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(cos(x)^2/(a+b*sin(x)+c*sin(x)^2),x, algorithm="maxima")

[Out]

Timed out

________________________________________________________________________________________

mupad [B]  time = 26.30, size = 11164, normalized size = 48.54 \[ \text {result too large to display} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(cos(x)^2/(a + c*sin(x)^2 + b*sin(x)),x)

[Out]

atan(((-(8*a*c^3 + b*(-(4*a*c - b^2)^3)^(1/2) + b^4 + 8*a^2*c^2 - 2*b^2*c^2 - 6*a*b^2*c)/(2*(16*a^2*c^4 + b^4*
c^2 - 8*a*b^2*c^3)))^(1/2)*(tan(x/2)*(81920*a*b^4 + 139264*a*c^4 + 196608*a^4*c + 24576*a^5 - 98304*a^3*b^2 +
425984*a^2*c^3 + 458752*a^3*c^2 - 212992*a*b^2*c^2 - 327680*a^2*b^2*c) - 24576*a^4*b + 32768*a^2*b^3 + (-(8*a*
c^3 + b*(-(4*a*c - b^2)^3)^(1/2) + b^4 + 8*a^2*c^2 - 2*b^2*c^2 - 6*a*b^2*c)/(2*(16*a^2*c^4 + b^4*c^2 - 8*a*b^2
*c^3)))^(1/2)*((-(8*a*c^3 + b*(-(4*a*c - b^2)^3)^(1/2) + b^4 + 8*a^2*c^2 - 2*b^2*c^2 - 6*a*b^2*c)/(2*(16*a^2*c
^4 + b^4*c^2 - 8*a*b^2*c^3)))^(1/2)*((-(8*a*c^3 + b*(-(4*a*c - b^2)^3)^(1/2) + b^4 + 8*a^2*c^2 - 2*b^2*c^2 - 6
*a*b^2*c)/(2*(16*a^2*c^4 + b^4*c^2 - 8*a*b^2*c^3)))^(1/2)*((-(8*a*c^3 + b*(-(4*a*c - b^2)^3)^(1/2) + b^4 + 8*a
^2*c^2 - 2*b^2*c^2 - 6*a*b^2*c)/(2*(16*a^2*c^4 + b^4*c^2 - 8*a*b^2*c^3)))^(1/2)*(tan(x/2)*(524288*a^2*c^7 + 11
79648*a^3*c^6 + 851968*a^4*c^5 + 196608*a^5*c^4 - 131072*a*b^2*c^6 + 139264*a*b^4*c^4 - 16384*a*b^6*c^2 - 8519
68*a^2*b^2*c^5 + 147456*a^2*b^4*c^3 - 540672*a^3*b^2*c^4 + 16384*a^3*b^4*c^2 - 114688*a^4*b^2*c^3) - 32768*a*b
^3*c^5 + 24576*a*b^5*c^3 + 131072*a^2*b*c^6 + 163840*a^3*b*c^5 + 98304*a^4*b*c^4 - 139264*a^2*b^3*c^4 - 24576*
a^3*b^3*c^3) - tan(x/2)*(32768*a*b^5*c^2 - 32768*a*b^3*c^4 + 131072*a^2*b*c^5 + 262144*a^3*b*c^4 + 131072*a^4*
b*c^3 - 196608*a^2*b^3*c^3 - 32768*a^3*b^3*c^2) + 131072*a^2*c^6 + 163840*a^3*c^5 - 65536*a^4*c^4 - 98304*a^5*
c^3 - 32768*a*b^2*c^5 + 32768*a*b^4*c^3 - 172032*a^2*b^2*c^4 - 24576*a^2*b^4*c^2 + 114688*a^3*b^2*c^3 + 24576*
a^4*b^2*c^2) + tan(x/2)*(131072*a*c^6 - 16384*a*b^6 + 16384*a^3*b^4 + 983040*a^2*c^5 + 1654784*a^3*c^4 + 95027
2*a^4*c^3 + 147456*a^5*c^2 - 344064*a*b^2*c^4 + 229376*a*b^4*c^2 + 131072*a^2*b^4*c - 98304*a^4*b^2*c - 122880
0*a^2*b^2*c^3 - 540672*a^3*b^2*c^2) - 57344*a*b^3*c^3 + 139264*a^2*b*c^4 + 114688*a^3*b*c^3 - 24576*a^3*b^3*c
+ 73728*a^4*b*c^2 - 106496*a^2*b^3*c^2 + 32768*a*b*c^5 + 24576*a*b^5*c) - tan(x/2)*(32768*a*b^5 - 32768*a^3*b^
3 + 65536*a^2*b*c^3 - 196608*a^2*b^3*c + 229376*a^3*b*c^2 - 32768*a*b*c^4 + 131072*a^4*b*c) + 32768*a*c^5 - 24
576*a^5*c - 8192*a^2*b^4 + 8192*a^4*b^2 + 172032*a^2*c^4 + 221184*a^3*c^3 + 57344*a^4*c^2 - 57344*a*b^2*c^3 +
16384*a^3*b^2*c - 147456*a^2*b^2*c^2 + 24576*a*b^4*c) + 8192*a^2*b*c^2 + 32768*a*b*c^3 - 24576*a*b^3*c - 49152
*a^3*b*c)*1i - (-(8*a*c^3 + b*(-(4*a*c - b^2)^3)^(1/2) + b^4 + 8*a^2*c^2 - 2*b^2*c^2 - 6*a*b^2*c)/(2*(16*a^2*c
^4 + b^4*c^2 - 8*a*b^2*c^3)))^(1/2)*(24576*a^4*b - tan(x/2)*(81920*a*b^4 + 139264*a*c^4 + 196608*a^4*c + 24576
*a^5 - 98304*a^3*b^2 + 425984*a^2*c^3 + 458752*a^3*c^2 - 212992*a*b^2*c^2 - 327680*a^2*b^2*c) - 32768*a^2*b^3
+ (-(8*a*c^3 + b*(-(4*a*c - b^2)^3)^(1/2) + b^4 + 8*a^2*c^2 - 2*b^2*c^2 - 6*a*b^2*c)/(2*(16*a^2*c^4 + b^4*c^2
- 8*a*b^2*c^3)))^(1/2)*(32768*a*c^5 - (-(8*a*c^3 + b*(-(4*a*c - b^2)^3)^(1/2) + b^4 + 8*a^2*c^2 - 2*b^2*c^2 -
6*a*b^2*c)/(2*(16*a^2*c^4 + b^4*c^2 - 8*a*b^2*c^3)))^(1/2)*((-(8*a*c^3 + b*(-(4*a*c - b^2)^3)^(1/2) + b^4 + 8*
a^2*c^2 - 2*b^2*c^2 - 6*a*b^2*c)/(2*(16*a^2*c^4 + b^4*c^2 - 8*a*b^2*c^3)))^(1/2)*((-(8*a*c^3 + b*(-(4*a*c - b^
2)^3)^(1/2) + b^4 + 8*a^2*c^2 - 2*b^2*c^2 - 6*a*b^2*c)/(2*(16*a^2*c^4 + b^4*c^2 - 8*a*b^2*c^3)))^(1/2)*(tan(x/
2)*(524288*a^2*c^7 + 1179648*a^3*c^6 + 851968*a^4*c^5 + 196608*a^5*c^4 - 131072*a*b^2*c^6 + 139264*a*b^4*c^4 -
16384*a*b^6*c^2 - 851968*a^2*b^2*c^5 + 147456*a^2*b^4*c^3 - 540672*a^3*b^2*c^4 + 16384*a^3*b^4*c^2 - 114688*a
^4*b^2*c^3) - 32768*a*b^3*c^5 + 24576*a*b^5*c^3 + 131072*a^2*b*c^6 + 163840*a^3*b*c^5 + 98304*a^4*b*c^4 - 1392
64*a^2*b^3*c^4 - 24576*a^3*b^3*c^3) + tan(x/2)*(32768*a*b^5*c^2 - 32768*a*b^3*c^4 + 131072*a^2*b*c^5 + 262144*
a^3*b*c^4 + 131072*a^4*b*c^3 - 196608*a^2*b^3*c^3 - 32768*a^3*b^3*c^2) - 131072*a^2*c^6 - 163840*a^3*c^5 + 655
36*a^4*c^4 + 98304*a^5*c^3 + 32768*a*b^2*c^5 - 32768*a*b^4*c^3 + 172032*a^2*b^2*c^4 + 24576*a^2*b^4*c^2 - 1146
88*a^3*b^2*c^3 - 24576*a^4*b^2*c^2) + tan(x/2)*(131072*a*c^6 - 16384*a*b^6 + 16384*a^3*b^4 + 983040*a^2*c^5 +
1654784*a^3*c^4 + 950272*a^4*c^3 + 147456*a^5*c^2 - 344064*a*b^2*c^4 + 229376*a*b^4*c^2 + 131072*a^2*b^4*c - 9
8304*a^4*b^2*c - 1228800*a^2*b^2*c^3 - 540672*a^3*b^2*c^2) - 57344*a*b^3*c^3 + 139264*a^2*b*c^4 + 114688*a^3*b
*c^3 - 24576*a^3*b^3*c + 73728*a^4*b*c^2 - 106496*a^2*b^3*c^2 + 32768*a*b*c^5 + 24576*a*b^5*c) - tan(x/2)*(327
68*a*b^5 - 32768*a^3*b^3 + 65536*a^2*b*c^3 - 196608*a^2*b^3*c + 229376*a^3*b*c^2 - 32768*a*b*c^4 + 131072*a^4*
b*c) - 24576*a^5*c - 8192*a^2*b^4 + 8192*a^4*b^2 + 172032*a^2*c^4 + 221184*a^3*c^3 + 57344*a^4*c^2 - 57344*a*b
^2*c^3 + 16384*a^3*b^2*c - 147456*a^2*b^2*c^2 + 24576*a*b^4*c) - 8192*a^2*b*c^2 - 32768*a*b*c^3 + 24576*a*b^3*
c + 49152*a^3*b*c)*1i)/((-(8*a*c^3 + b*(-(4*a*c - b^2)^3)^(1/2) + b^4 + 8*a^2*c^2 - 2*b^2*c^2 - 6*a*b^2*c)/(2*
(16*a^2*c^4 + b^4*c^2 - 8*a*b^2*c^3)))^(1/2)*(tan(x/2)*(81920*a*b^4 + 139264*a*c^4 + 196608*a^4*c + 24576*a^5
- 98304*a^3*b^2 + 425984*a^2*c^3 + 458752*a^3*c^2 - 212992*a*b^2*c^2 - 327680*a^2*b^2*c) - 24576*a^4*b + 32768
*a^2*b^3 + (-(8*a*c^3 + b*(-(4*a*c - b^2)^3)^(1/2) + b^4 + 8*a^2*c^2 - 2*b^2*c^2 - 6*a*b^2*c)/(2*(16*a^2*c^4 +
b^4*c^2 - 8*a*b^2*c^3)))^(1/2)*((-(8*a*c^3 + b*(-(4*a*c - b^2)^3)^(1/2) + b^4 + 8*a^2*c^2 - 2*b^2*c^2 - 6*a*b
^2*c)/(2*(16*a^2*c^4 + b^4*c^2 - 8*a*b^2*c^3)))^(1/2)*((-(8*a*c^3 + b*(-(4*a*c - b^2)^3)^(1/2) + b^4 + 8*a^2*c
^2 - 2*b^2*c^2 - 6*a*b^2*c)/(2*(16*a^2*c^4 + b^4*c^2 - 8*a*b^2*c^3)))^(1/2)*((-(8*a*c^3 + b*(-(4*a*c - b^2)^3)
^(1/2) + b^4 + 8*a^2*c^2 - 2*b^2*c^2 - 6*a*b^2*c)/(2*(16*a^2*c^4 + b^4*c^2 - 8*a*b^2*c^3)))^(1/2)*(tan(x/2)*(5
24288*a^2*c^7 + 1179648*a^3*c^6 + 851968*a^4*c^5 + 196608*a^5*c^4 - 131072*a*b^2*c^6 + 139264*a*b^4*c^4 - 1638
4*a*b^6*c^2 - 851968*a^2*b^2*c^5 + 147456*a^2*b^4*c^3 - 540672*a^3*b^2*c^4 + 16384*a^3*b^4*c^2 - 114688*a^4*b^
2*c^3) - 32768*a*b^3*c^5 + 24576*a*b^5*c^3 + 131072*a^2*b*c^6 + 163840*a^3*b*c^5 + 98304*a^4*b*c^4 - 139264*a^
2*b^3*c^4 - 24576*a^3*b^3*c^3) - tan(x/2)*(32768*a*b^5*c^2 - 32768*a*b^3*c^4 + 131072*a^2*b*c^5 + 262144*a^3*b
*c^4 + 131072*a^4*b*c^3 - 196608*a^2*b^3*c^3 - 32768*a^3*b^3*c^2) + 131072*a^2*c^6 + 163840*a^3*c^5 - 65536*a^
4*c^4 - 98304*a^5*c^3 - 32768*a*b^2*c^5 + 32768*a*b^4*c^3 - 172032*a^2*b^2*c^4 - 24576*a^2*b^4*c^2 + 114688*a^
3*b^2*c^3 + 24576*a^4*b^2*c^2) + tan(x/2)*(131072*a*c^6 - 16384*a*b^6 + 16384*a^3*b^4 + 983040*a^2*c^5 + 16547
84*a^3*c^4 + 950272*a^4*c^3 + 147456*a^5*c^2 - 344064*a*b^2*c^4 + 229376*a*b^4*c^2 + 131072*a^2*b^4*c - 98304*
a^4*b^2*c - 1228800*a^2*b^2*c^3 - 540672*a^3*b^2*c^2) - 57344*a*b^3*c^3 + 139264*a^2*b*c^4 + 114688*a^3*b*c^3
- 24576*a^3*b^3*c + 73728*a^4*b*c^2 - 106496*a^2*b^3*c^2 + 32768*a*b*c^5 + 24576*a*b^5*c) - tan(x/2)*(32768*a*
b^5 - 32768*a^3*b^3 + 65536*a^2*b*c^3 - 196608*a^2*b^3*c + 229376*a^3*b*c^2 - 32768*a*b*c^4 + 131072*a^4*b*c)
+ 32768*a*c^5 - 24576*a^5*c - 8192*a^2*b^4 + 8192*a^4*b^2 + 172032*a^2*c^4 + 221184*a^3*c^3 + 57344*a^4*c^2 -
57344*a*b^2*c^3 + 16384*a^3*b^2*c - 147456*a^2*b^2*c^2 + 24576*a*b^4*c) + 8192*a^2*b*c^2 + 32768*a*b*c^3 - 245
76*a*b^3*c - 49152*a^3*b*c) + (-(8*a*c^3 + b*(-(4*a*c - b^2)^3)^(1/2) + b^4 + 8*a^2*c^2 - 2*b^2*c^2 - 6*a*b^2*
c)/(2*(16*a^2*c^4 + b^4*c^2 - 8*a*b^2*c^3)))^(1/2)*(24576*a^4*b - tan(x/2)*(81920*a*b^4 + 139264*a*c^4 + 19660
8*a^4*c + 24576*a^5 - 98304*a^3*b^2 + 425984*a^2*c^3 + 458752*a^3*c^2 - 212992*a*b^2*c^2 - 327680*a^2*b^2*c) -
32768*a^2*b^3 + (-(8*a*c^3 + b*(-(4*a*c - b^2)^3)^(1/2) + b^4 + 8*a^2*c^2 - 2*b^2*c^2 - 6*a*b^2*c)/(2*(16*a^2
*c^4 + b^4*c^2 - 8*a*b^2*c^3)))^(1/2)*(32768*a*c^5 - (-(8*a*c^3 + b*(-(4*a*c - b^2)^3)^(1/2) + b^4 + 8*a^2*c^2
- 2*b^2*c^2 - 6*a*b^2*c)/(2*(16*a^2*c^4 + b^4*c^2 - 8*a*b^2*c^3)))^(1/2)*((-(8*a*c^3 + b*(-(4*a*c - b^2)^3)^(
1/2) + b^4 + 8*a^2*c^2 - 2*b^2*c^2 - 6*a*b^2*c)/(2*(16*a^2*c^4 + b^4*c^2 - 8*a*b^2*c^3)))^(1/2)*((-(8*a*c^3 +
b*(-(4*a*c - b^2)^3)^(1/2) + b^4 + 8*a^2*c^2 - 2*b^2*c^2 - 6*a*b^2*c)/(2*(16*a^2*c^4 + b^4*c^2 - 8*a*b^2*c^3))
)^(1/2)*(tan(x/2)*(524288*a^2*c^7 + 1179648*a^3*c^6 + 851968*a^4*c^5 + 196608*a^5*c^4 - 131072*a*b^2*c^6 + 139
264*a*b^4*c^4 - 16384*a*b^6*c^2 - 851968*a^2*b^2*c^5 + 147456*a^2*b^4*c^3 - 540672*a^3*b^2*c^4 + 16384*a^3*b^4
*c^2 - 114688*a^4*b^2*c^3) - 32768*a*b^3*c^5 + 24576*a*b^5*c^3 + 131072*a^2*b*c^6 + 163840*a^3*b*c^5 + 98304*a
^4*b*c^4 - 139264*a^2*b^3*c^4 - 24576*a^3*b^3*c^3) + tan(x/2)*(32768*a*b^5*c^2 - 32768*a*b^3*c^4 + 131072*a^2*
b*c^5 + 262144*a^3*b*c^4 + 131072*a^4*b*c^3 - 196608*a^2*b^3*c^3 - 32768*a^3*b^3*c^2) - 131072*a^2*c^6 - 16384
0*a^3*c^5 + 65536*a^4*c^4 + 98304*a^5*c^3 + 32768*a*b^2*c^5 - 32768*a*b^4*c^3 + 172032*a^2*b^2*c^4 + 24576*a^2
*b^4*c^2 - 114688*a^3*b^2*c^3 - 24576*a^4*b^2*c^2) + tan(x/2)*(131072*a*c^6 - 16384*a*b^6 + 16384*a^3*b^4 + 98
3040*a^2*c^5 + 1654784*a^3*c^4 + 950272*a^4*c^3 + 147456*a^5*c^2 - 344064*a*b^2*c^4 + 229376*a*b^4*c^2 + 13107
2*a^2*b^4*c - 98304*a^4*b^2*c - 1228800*a^2*b^2*c^3 - 540672*a^3*b^2*c^2) - 57344*a*b^3*c^3 + 139264*a^2*b*c^4
+ 114688*a^3*b*c^3 - 24576*a^3*b^3*c + 73728*a^4*b*c^2 - 106496*a^2*b^3*c^2 + 32768*a*b*c^5 + 24576*a*b^5*c)
- tan(x/2)*(32768*a*b^5 - 32768*a^3*b^3 + 65536*a^2*b*c^3 - 196608*a^2*b^3*c + 229376*a^3*b*c^2 - 32768*a*b*c^
4 + 131072*a^4*b*c) - 24576*a^5*c - 8192*a^2*b^4 + 8192*a^4*b^2 + 172032*a^2*c^4 + 221184*a^3*c^3 + 57344*a^4*
c^2 - 57344*a*b^2*c^3 + 16384*a^3*b^2*c - 147456*a^2*b^2*c^2 + 24576*a*b^4*c) - 8192*a^2*b*c^2 - 32768*a*b*c^3
+ 24576*a*b^3*c + 49152*a^3*b*c) + 49152*a*c^3 + 147456*a^3*c + 49152*a^4 + 2*tan(x/2)*(32768*a^3*b - 32768*a
*b^3 + 32768*a*b*c^2 + 65536*a^2*b*c) - 49152*a^2*b^2 + 147456*a^2*c^2 - 49152*a*b^2*c))*(-(8*a*c^3 + b*(-(4*a
*c - b^2)^3)^(1/2) + b^4 + 8*a^2*c^2 - 2*b^2*c^2 - 6*a*b^2*c)/(2*(16*a^2*c^4 + b^4*c^2 - 8*a*b^2*c^3)))^(1/2)*
2i + atan(((-(8*a*c^3 - b*(-(4*a*c - b^2)^3)^(1/2) + b^4 + 8*a^2*c^2 - 2*b^2*c^2 - 6*a*b^2*c)/(2*(16*a^2*c^4 +
b^4*c^2 - 8*a*b^2*c^3)))^(1/2)*(tan(x/2)*(81920*a*b^4 + 139264*a*c^4 + 196608*a^4*c + 24576*a^5 - 98304*a^3*b
^2 + 425984*a^2*c^3 + 458752*a^3*c^2 - 212992*a*b^2*c^2 - 327680*a^2*b^2*c) - 24576*a^4*b + 32768*a^2*b^3 + (-
(8*a*c^3 - b*(-(4*a*c - b^2)^3)^(1/2) + b^4 + 8*a^2*c^2 - 2*b^2*c^2 - 6*a*b^2*c)/(2*(16*a^2*c^4 + b^4*c^2 - 8*
a*b^2*c^3)))^(1/2)*((-(8*a*c^3 - b*(-(4*a*c - b^2)^3)^(1/2) + b^4 + 8*a^2*c^2 - 2*b^2*c^2 - 6*a*b^2*c)/(2*(16*
a^2*c^4 + b^4*c^2 - 8*a*b^2*c^3)))^(1/2)*((-(8*a*c^3 - b*(-(4*a*c - b^2)^3)^(1/2) + b^4 + 8*a^2*c^2 - 2*b^2*c^
2 - 6*a*b^2*c)/(2*(16*a^2*c^4 + b^4*c^2 - 8*a*b^2*c^3)))^(1/2)*((-(8*a*c^3 - b*(-(4*a*c - b^2)^3)^(1/2) + b^4
+ 8*a^2*c^2 - 2*b^2*c^2 - 6*a*b^2*c)/(2*(16*a^2*c^4 + b^4*c^2 - 8*a*b^2*c^3)))^(1/2)*(tan(x/2)*(524288*a^2*c^7
+ 1179648*a^3*c^6 + 851968*a^4*c^5 + 196608*a^5*c^4 - 131072*a*b^2*c^6 + 139264*a*b^4*c^4 - 16384*a*b^6*c^2 -
851968*a^2*b^2*c^5 + 147456*a^2*b^4*c^3 - 540672*a^3*b^2*c^4 + 16384*a^3*b^4*c^2 - 114688*a^4*b^2*c^3) - 3276
8*a*b^3*c^5 + 24576*a*b^5*c^3 + 131072*a^2*b*c^6 + 163840*a^3*b*c^5 + 98304*a^4*b*c^4 - 139264*a^2*b^3*c^4 - 2
4576*a^3*b^3*c^3) - tan(x/2)*(32768*a*b^5*c^2 - 32768*a*b^3*c^4 + 131072*a^2*b*c^5 + 262144*a^3*b*c^4 + 131072
*a^4*b*c^3 - 196608*a^2*b^3*c^3 - 32768*a^3*b^3*c^2) + 131072*a^2*c^6 + 163840*a^3*c^5 - 65536*a^4*c^4 - 98304
*a^5*c^3 - 32768*a*b^2*c^5 + 32768*a*b^4*c^3 - 172032*a^2*b^2*c^4 - 24576*a^2*b^4*c^2 + 114688*a^3*b^2*c^3 + 2
4576*a^4*b^2*c^2) + tan(x/2)*(131072*a*c^6 - 16384*a*b^6 + 16384*a^3*b^4 + 983040*a^2*c^5 + 1654784*a^3*c^4 +
950272*a^4*c^3 + 147456*a^5*c^2 - 344064*a*b^2*c^4 + 229376*a*b^4*c^2 + 131072*a^2*b^4*c - 98304*a^4*b^2*c - 1
228800*a^2*b^2*c^3 - 540672*a^3*b^2*c^2) - 57344*a*b^3*c^3 + 139264*a^2*b*c^4 + 114688*a^3*b*c^3 - 24576*a^3*b
^3*c + 73728*a^4*b*c^2 - 106496*a^2*b^3*c^2 + 32768*a*b*c^5 + 24576*a*b^5*c) - tan(x/2)*(32768*a*b^5 - 32768*a
^3*b^3 + 65536*a^2*b*c^3 - 196608*a^2*b^3*c + 229376*a^3*b*c^2 - 32768*a*b*c^4 + 131072*a^4*b*c) + 32768*a*c^5
- 24576*a^5*c - 8192*a^2*b^4 + 8192*a^4*b^2 + 172032*a^2*c^4 + 221184*a^3*c^3 + 57344*a^4*c^2 - 57344*a*b^2*c
^3 + 16384*a^3*b^2*c - 147456*a^2*b^2*c^2 + 24576*a*b^4*c) + 8192*a^2*b*c^2 + 32768*a*b*c^3 - 24576*a*b^3*c -
49152*a^3*b*c)*1i - (-(8*a*c^3 - b*(-(4*a*c - b^2)^3)^(1/2) + b^4 + 8*a^2*c^2 - 2*b^2*c^2 - 6*a*b^2*c)/(2*(16*
a^2*c^4 + b^4*c^2 - 8*a*b^2*c^3)))^(1/2)*(24576*a^4*b - tan(x/2)*(81920*a*b^4 + 139264*a*c^4 + 196608*a^4*c +
24576*a^5 - 98304*a^3*b^2 + 425984*a^2*c^3 + 458752*a^3*c^2 - 212992*a*b^2*c^2 - 327680*a^2*b^2*c) - 32768*a^2
*b^3 + (-(8*a*c^3 - b*(-(4*a*c - b^2)^3)^(1/2) + b^4 + 8*a^2*c^2 - 2*b^2*c^2 - 6*a*b^2*c)/(2*(16*a^2*c^4 + b^4
*c^2 - 8*a*b^2*c^3)))^(1/2)*(32768*a*c^5 - (-(8*a*c^3 - b*(-(4*a*c - b^2)^3)^(1/2) + b^4 + 8*a^2*c^2 - 2*b^2*c
^2 - 6*a*b^2*c)/(2*(16*a^2*c^4 + b^4*c^2 - 8*a*b^2*c^3)))^(1/2)*((-(8*a*c^3 - b*(-(4*a*c - b^2)^3)^(1/2) + b^4
+ 8*a^2*c^2 - 2*b^2*c^2 - 6*a*b^2*c)/(2*(16*a^2*c^4 + b^4*c^2 - 8*a*b^2*c^3)))^(1/2)*((-(8*a*c^3 - b*(-(4*a*c
- b^2)^3)^(1/2) + b^4 + 8*a^2*c^2 - 2*b^2*c^2 - 6*a*b^2*c)/(2*(16*a^2*c^4 + b^4*c^2 - 8*a*b^2*c^3)))^(1/2)*(t
an(x/2)*(524288*a^2*c^7 + 1179648*a^3*c^6 + 851968*a^4*c^5 + 196608*a^5*c^4 - 131072*a*b^2*c^6 + 139264*a*b^4*
c^4 - 16384*a*b^6*c^2 - 851968*a^2*b^2*c^5 + 147456*a^2*b^4*c^3 - 540672*a^3*b^2*c^4 + 16384*a^3*b^4*c^2 - 114
688*a^4*b^2*c^3) - 32768*a*b^3*c^5 + 24576*a*b^5*c^3 + 131072*a^2*b*c^6 + 163840*a^3*b*c^5 + 98304*a^4*b*c^4 -
139264*a^2*b^3*c^4 - 24576*a^3*b^3*c^3) + tan(x/2)*(32768*a*b^5*c^2 - 32768*a*b^3*c^4 + 131072*a^2*b*c^5 + 26
2144*a^3*b*c^4 + 131072*a^4*b*c^3 - 196608*a^2*b^3*c^3 - 32768*a^3*b^3*c^2) - 131072*a^2*c^6 - 163840*a^3*c^5
+ 65536*a^4*c^4 + 98304*a^5*c^3 + 32768*a*b^2*c^5 - 32768*a*b^4*c^3 + 172032*a^2*b^2*c^4 + 24576*a^2*b^4*c^2 -
114688*a^3*b^2*c^3 - 24576*a^4*b^2*c^2) + tan(x/2)*(131072*a*c^6 - 16384*a*b^6 + 16384*a^3*b^4 + 983040*a^2*c
^5 + 1654784*a^3*c^4 + 950272*a^4*c^3 + 147456*a^5*c^2 - 344064*a*b^2*c^4 + 229376*a*b^4*c^2 + 131072*a^2*b^4*
c - 98304*a^4*b^2*c - 1228800*a^2*b^2*c^3 - 540672*a^3*b^2*c^2) - 57344*a*b^3*c^3 + 139264*a^2*b*c^4 + 114688*
a^3*b*c^3 - 24576*a^3*b^3*c + 73728*a^4*b*c^2 - 106496*a^2*b^3*c^2 + 32768*a*b*c^5 + 24576*a*b^5*c) - tan(x/2)
*(32768*a*b^5 - 32768*a^3*b^3 + 65536*a^2*b*c^3 - 196608*a^2*b^3*c + 229376*a^3*b*c^2 - 32768*a*b*c^4 + 131072
*a^4*b*c) - 24576*a^5*c - 8192*a^2*b^4 + 8192*a^4*b^2 + 172032*a^2*c^4 + 221184*a^3*c^3 + 57344*a^4*c^2 - 5734
4*a*b^2*c^3 + 16384*a^3*b^2*c - 147456*a^2*b^2*c^2 + 24576*a*b^4*c) - 8192*a^2*b*c^2 - 32768*a*b*c^3 + 24576*a
*b^3*c + 49152*a^3*b*c)*1i)/((-(8*a*c^3 - b*(-(4*a*c - b^2)^3)^(1/2) + b^4 + 8*a^2*c^2 - 2*b^2*c^2 - 6*a*b^2*c
)/(2*(16*a^2*c^4 + b^4*c^2 - 8*a*b^2*c^3)))^(1/2)*(tan(x/2)*(81920*a*b^4 + 139264*a*c^4 + 196608*a^4*c + 24576
*a^5 - 98304*a^3*b^2 + 425984*a^2*c^3 + 458752*a^3*c^2 - 212992*a*b^2*c^2 - 327680*a^2*b^2*c) - 24576*a^4*b +
32768*a^2*b^3 + (-(8*a*c^3 - b*(-(4*a*c - b^2)^3)^(1/2) + b^4 + 8*a^2*c^2 - 2*b^2*c^2 - 6*a*b^2*c)/(2*(16*a^2*
c^4 + b^4*c^2 - 8*a*b^2*c^3)))^(1/2)*((-(8*a*c^3 - b*(-(4*a*c - b^2)^3)^(1/2) + b^4 + 8*a^2*c^2 - 2*b^2*c^2 -
6*a*b^2*c)/(2*(16*a^2*c^4 + b^4*c^2 - 8*a*b^2*c^3)))^(1/2)*((-(8*a*c^3 - b*(-(4*a*c - b^2)^3)^(1/2) + b^4 + 8*
a^2*c^2 - 2*b^2*c^2 - 6*a*b^2*c)/(2*(16*a^2*c^4 + b^4*c^2 - 8*a*b^2*c^3)))^(1/2)*((-(8*a*c^3 - b*(-(4*a*c - b^
2)^3)^(1/2) + b^4 + 8*a^2*c^2 - 2*b^2*c^2 - 6*a*b^2*c)/(2*(16*a^2*c^4 + b^4*c^2 - 8*a*b^2*c^3)))^(1/2)*(tan(x/
2)*(524288*a^2*c^7 + 1179648*a^3*c^6 + 851968*a^4*c^5 + 196608*a^5*c^4 - 131072*a*b^2*c^6 + 139264*a*b^4*c^4 -
16384*a*b^6*c^2 - 851968*a^2*b^2*c^5 + 147456*a^2*b^4*c^3 - 540672*a^3*b^2*c^4 + 16384*a^3*b^4*c^2 - 114688*a
^4*b^2*c^3) - 32768*a*b^3*c^5 + 24576*a*b^5*c^3 + 131072*a^2*b*c^6 + 163840*a^3*b*c^5 + 98304*a^4*b*c^4 - 1392
64*a^2*b^3*c^4 - 24576*a^3*b^3*c^3) - tan(x/2)*(32768*a*b^5*c^2 - 32768*a*b^3*c^4 + 131072*a^2*b*c^5 + 262144*
a^3*b*c^4 + 131072*a^4*b*c^3 - 196608*a^2*b^3*c^3 - 32768*a^3*b^3*c^2) + 131072*a^2*c^6 + 163840*a^3*c^5 - 655
36*a^4*c^4 - 98304*a^5*c^3 - 32768*a*b^2*c^5 + 32768*a*b^4*c^3 - 172032*a^2*b^2*c^4 - 24576*a^2*b^4*c^2 + 1146
88*a^3*b^2*c^3 + 24576*a^4*b^2*c^2) + tan(x/2)*(131072*a*c^6 - 16384*a*b^6 + 16384*a^3*b^4 + 983040*a^2*c^5 +
1654784*a^3*c^4 + 950272*a^4*c^3 + 147456*a^5*c^2 - 344064*a*b^2*c^4 + 229376*a*b^4*c^2 + 131072*a^2*b^4*c - 9
8304*a^4*b^2*c - 1228800*a^2*b^2*c^3 - 540672*a^3*b^2*c^2) - 57344*a*b^3*c^3 + 139264*a^2*b*c^4 + 114688*a^3*b
*c^3 - 24576*a^3*b^3*c + 73728*a^4*b*c^2 - 106496*a^2*b^3*c^2 + 32768*a*b*c^5 + 24576*a*b^5*c) - tan(x/2)*(327
68*a*b^5 - 32768*a^3*b^3 + 65536*a^2*b*c^3 - 196608*a^2*b^3*c + 229376*a^3*b*c^2 - 32768*a*b*c^4 + 131072*a^4*
b*c) + 32768*a*c^5 - 24576*a^5*c - 8192*a^2*b^4 + 8192*a^4*b^2 + 172032*a^2*c^4 + 221184*a^3*c^3 + 57344*a^4*c
^2 - 57344*a*b^2*c^3 + 16384*a^3*b^2*c - 147456*a^2*b^2*c^2 + 24576*a*b^4*c) + 8192*a^2*b*c^2 + 32768*a*b*c^3
- 24576*a*b^3*c - 49152*a^3*b*c) + (-(8*a*c^3 - b*(-(4*a*c - b^2)^3)^(1/2) + b^4 + 8*a^2*c^2 - 2*b^2*c^2 - 6*a
*b^2*c)/(2*(16*a^2*c^4 + b^4*c^2 - 8*a*b^2*c^3)))^(1/2)*(24576*a^4*b - tan(x/2)*(81920*a*b^4 + 139264*a*c^4 +
196608*a^4*c + 24576*a^5 - 98304*a^3*b^2 + 425984*a^2*c^3 + 458752*a^3*c^2 - 212992*a*b^2*c^2 - 327680*a^2*b^2
*c) - 32768*a^2*b^3 + (-(8*a*c^3 - b*(-(4*a*c - b^2)^3)^(1/2) + b^4 + 8*a^2*c^2 - 2*b^2*c^2 - 6*a*b^2*c)/(2*(1
6*a^2*c^4 + b^4*c^2 - 8*a*b^2*c^3)))^(1/2)*(32768*a*c^5 - (-(8*a*c^3 - b*(-(4*a*c - b^2)^3)^(1/2) + b^4 + 8*a^
2*c^2 - 2*b^2*c^2 - 6*a*b^2*c)/(2*(16*a^2*c^4 + b^4*c^2 - 8*a*b^2*c^3)))^(1/2)*((-(8*a*c^3 - b*(-(4*a*c - b^2)
^3)^(1/2) + b^4 + 8*a^2*c^2 - 2*b^2*c^2 - 6*a*b^2*c)/(2*(16*a^2*c^4 + b^4*c^2 - 8*a*b^2*c^3)))^(1/2)*((-(8*a*c
^3 - b*(-(4*a*c - b^2)^3)^(1/2) + b^4 + 8*a^2*c^2 - 2*b^2*c^2 - 6*a*b^2*c)/(2*(16*a^2*c^4 + b^4*c^2 - 8*a*b^2*
c^3)))^(1/2)*(tan(x/2)*(524288*a^2*c^7 + 1179648*a^3*c^6 + 851968*a^4*c^5 + 196608*a^5*c^4 - 131072*a*b^2*c^6
+ 139264*a*b^4*c^4 - 16384*a*b^6*c^2 - 851968*a^2*b^2*c^5 + 147456*a^2*b^4*c^3 - 540672*a^3*b^2*c^4 + 16384*a^
3*b^4*c^2 - 114688*a^4*b^2*c^3) - 32768*a*b^3*c^5 + 24576*a*b^5*c^3 + 131072*a^2*b*c^6 + 163840*a^3*b*c^5 + 98
304*a^4*b*c^4 - 139264*a^2*b^3*c^4 - 24576*a^3*b^3*c^3) + tan(x/2)*(32768*a*b^5*c^2 - 32768*a*b^3*c^4 + 131072
*a^2*b*c^5 + 262144*a^3*b*c^4 + 131072*a^4*b*c^3 - 196608*a^2*b^3*c^3 - 32768*a^3*b^3*c^2) - 131072*a^2*c^6 -
163840*a^3*c^5 + 65536*a^4*c^4 + 98304*a^5*c^3 + 32768*a*b^2*c^5 - 32768*a*b^4*c^3 + 172032*a^2*b^2*c^4 + 2457
6*a^2*b^4*c^2 - 114688*a^3*b^2*c^3 - 24576*a^4*b^2*c^2) + tan(x/2)*(131072*a*c^6 - 16384*a*b^6 + 16384*a^3*b^4
+ 983040*a^2*c^5 + 1654784*a^3*c^4 + 950272*a^4*c^3 + 147456*a^5*c^2 - 344064*a*b^2*c^4 + 229376*a*b^4*c^2 +
131072*a^2*b^4*c - 98304*a^4*b^2*c - 1228800*a^2*b^2*c^3 - 540672*a^3*b^2*c^2) - 57344*a*b^3*c^3 + 139264*a^2*
b*c^4 + 114688*a^3*b*c^3 - 24576*a^3*b^3*c + 73728*a^4*b*c^2 - 106496*a^2*b^3*c^2 + 32768*a*b*c^5 + 24576*a*b^
5*c) - tan(x/2)*(32768*a*b^5 - 32768*a^3*b^3 + 65536*a^2*b*c^3 - 196608*a^2*b^3*c + 229376*a^3*b*c^2 - 32768*a
*b*c^4 + 131072*a^4*b*c) - 24576*a^5*c - 8192*a^2*b^4 + 8192*a^4*b^2 + 172032*a^2*c^4 + 221184*a^3*c^3 + 57344
*a^4*c^2 - 57344*a*b^2*c^3 + 16384*a^3*b^2*c - 147456*a^2*b^2*c^2 + 24576*a*b^4*c) - 8192*a^2*b*c^2 - 32768*a*
b*c^3 + 24576*a*b^3*c + 49152*a^3*b*c) + 49152*a*c^3 + 147456*a^3*c + 49152*a^4 + 2*tan(x/2)*(32768*a^3*b - 32
768*a*b^3 + 32768*a*b*c^2 + 65536*a^2*b*c) - 49152*a^2*b^2 + 147456*a^2*c^2 - 49152*a*b^2*c))*(-(8*a*c^3 - b*(
-(4*a*c - b^2)^3)^(1/2) + b^4 + 8*a^2*c^2 - 2*b^2*c^2 - 6*a*b^2*c)/(2*(16*a^2*c^4 + b^4*c^2 - 8*a*b^2*c^3)))^(
1/2)*2i - (2*atan((196608*a^4*tan(x/2))/(16384*a*c^3 - 32768*a^3*c + 196608*a^4 + 98304*a^2*b^2 - 65536*a^2*c^
2 + (147456*a^5)/c - (16384*a*b^4)/c - (196608*a^3*b^2)/c + (32768*a^2*b^4)/c^2 - (32768*a^4*b^2)/c^2) - (1474
56*a^5*tan(x/2))/(16384*a*b^4 - 16384*a*c^4 - 196608*a^4*c - 147456*a^5 + 196608*a^3*b^2 + 65536*a^2*c^3 + 327
68*a^3*c^2 - 98304*a^2*b^2*c - (32768*a^2*b^4)/c + (32768*a^4*b^2)/c) + (32768*a^2*b^4*tan(x/2))/(16384*a*c^5
+ 147456*a^5*c + 32768*a^2*b^4 - 32768*a^4*b^2 - 65536*a^2*c^4 - 32768*a^3*c^3 + 196608*a^4*c^2 - 196608*a^3*b
^2*c + 98304*a^2*b^2*c^2 - 16384*a*b^4*c) - (32768*a^4*b^2*tan(x/2))/(16384*a*c^5 + 147456*a^5*c + 32768*a^2*b
^4 - 32768*a^4*b^2 - 65536*a^2*c^4 - 32768*a^3*c^3 + 196608*a^4*c^2 - 196608*a^3*b^2*c + 98304*a^2*b^2*c^2 - 1
6384*a*b^4*c) + (16384*a*b^4*tan(x/2))/(16384*a*b^4 - 16384*a*c^4 - 196608*a^4*c - 147456*a^5 + 196608*a^3*b^2
+ 65536*a^2*c^3 + 32768*a^3*c^2 - 98304*a^2*b^2*c - (32768*a^2*b^4)/c + (32768*a^4*b^2)/c) + (16384*a*c^3*tan
(x/2))/(16384*a*c^3 - 32768*a^3*c + 196608*a^4 + 98304*a^2*b^2 - 65536*a^2*c^2 + (147456*a^5)/c - (16384*a*b^4
)/c - (196608*a^3*b^2)/c + (32768*a^2*b^4)/c^2 - (32768*a^4*b^2)/c^2) - (32768*a^3*c*tan(x/2))/(16384*a*c^3 -
32768*a^3*c + 196608*a^4 + 98304*a^2*b^2 - 65536*a^2*c^2 + (147456*a^5)/c - (16384*a*b^4)/c - (196608*a^3*b^2)
/c + (32768*a^2*b^4)/c^2 - (32768*a^4*b^2)/c^2) + (196608*a^3*b^2*tan(x/2))/(16384*a*b^4 - 16384*a*c^4 - 19660
8*a^4*c - 147456*a^5 + 196608*a^3*b^2 + 65536*a^2*c^3 + 32768*a^3*c^2 - 98304*a^2*b^2*c - (32768*a^2*b^4)/c +
(32768*a^4*b^2)/c) + (98304*a^2*b^2*tan(x/2))/(16384*a*c^3 - 32768*a^3*c + 196608*a^4 + 98304*a^2*b^2 - 65536*
a^2*c^2 + (147456*a^5)/c - (16384*a*b^4)/c - (196608*a^3*b^2)/c + (32768*a^2*b^4)/c^2 - (32768*a^4*b^2)/c^2) -
(65536*a^2*c^2*tan(x/2))/(16384*a*c^3 - 32768*a^3*c + 196608*a^4 + 98304*a^2*b^2 - 65536*a^2*c^2 + (147456*a^
5)/c - (16384*a*b^4)/c - (196608*a^3*b^2)/c + (32768*a^2*b^4)/c^2 - (32768*a^4*b^2)/c^2)))/c

________________________________________________________________________________________

sympy [F(-1)]  time = 0.00, size = 0, normalized size = 0.00 \[ \text {Timed out} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(cos(x)**2/(a+b*sin(x)+c*sin(x)**2),x)

[Out]

Timed out

________________________________________________________________________________________